llvm-g++ -I $DEFENS_ROOT/rcs-modules/klee/include/ -g -O2 -emit-llvm -c force-memcpy-external-call.cpp -o force-memcpy-external-call.bc
sh $DEFENS_ROOT/rcs-modules/klee/released-tern-build-app.sh $PWD    force-memcpy-external-call    $PWD



llvm-g++ -I $DEFENS_ROOT/rcs-modules/klee/include/ -g -O2 -emit-llvm -c test-switch-symbolic.cpp -o test-switch-symbolic.bc
sh $DEFENS_ROOT/rcs-modules/klee/released-tern-build-app.sh $PWD    test-switch-symbolic    $PWD

